-
1 Prädikatenlogik der ersten Stufe
Prädikatenlogik f der ersten Stufe логика ж. первого порядкаNeue große deutsch-russische Wörterbuch Polytechnic > Prädikatenlogik der ersten Stufe
-
2 Prädikatenlogik der ersten Stufe
сущ.Универсальный немецко-русский словарь > Prädikatenlogik der ersten Stufe
-
3 Stufe
f градация ж.; декада ж. изм.; интервал м.; каскад м. рад. эл.; разряд м.; редан м. ав. мор.; секция ж.; стадия ж.; степень ж.; ступень ж.; ступень ж. рад. эл.; ступенька ж.; уровень м. (напр., иерархии) выч.; уступ м.; штуф горн. мин.; этап м.; ярус м. (геохронологический) геол.→ Ätzstufe→ Endstufe→ Erzstufe→ Torstufe -
4 ersten
Neue große deutsch-russische Wörterbuch Polytechnic > ersten
-
5 Logik
f логика ж.; логика ж. выч.; логическая структура ж.; логическая схема ж.; логическая часть ж. (ВМ) выч.; логические схемы мн.; логический узел м. (ВМ) выч.→ IIL -
6 Prädikaten
Neue große deutsch-russische Wörterbuch Polytechnic > Prädikaten
См. также в других словарях:
Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund … Deutsch Wikipedia
Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Satz der Identität — In logischen Systemen wird Identität über Ununterscheidbarkeit eingeführt: Das Identitätsprinzip besagt, dass ein Gegenstand A genau dann mit einem Gegenstand B identisch ist, wenn sich zwischen A und B kein Unterschied finden lässt. Die Methode … Deutsch Wikipedia
Liste der Philosophen — … Deutsch Wikipedia
Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
